An extended constraint deductive database: Theory and implementation
نویسندگان
چکیده
منابع مشابه
Deductive Database Systems and integrity constraint checking
Today, relational database systems have been extended in several ways. One way to extend the relational database model is by adding rules. These rules can make a lot of information implicit. In other words, a lot of intensional facts Sle stored in the database through rules. Consequently, when one updates such a database, a lot of implicit updates may appear by the presence of rules. When also ...
متن کاملdevelopment and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولA Prototype Constraint Deductive Database System based on HH¬(C)
This paper presents, from a user point of view, a deductive database system based on Hereditary Harrop Formulas with Constraints and Negation, HH¬(C). The Prolog implementation of this system is based on a fixpoint semantics proposed in a previous work. The answer to a query posed to a database is intended as a constraint of the constraint system associated to C. We have developed several solve...
متن کاملDesign and Implementation of the Relationlog Deductive Database System
We describe the design and implementation of Relationlog, a persistent deductive database system. Unlike other related systems such as Aditi, CORAL, LDL, LOLA and Nail-Glue, Relationlog supports effective storage, efficient access and inference of large amounts of data with complex structures and provides declarative query language that can define recursive views involving complex data and also...
متن کاملRock & Roll: a Deductive Object-oriented Database System Extended Abstract
Database System Extended Abstract Alvaro A.A. Fernandes, Maria L. Barja, Norman W. Paton, M. Howard Williams, Andrew Dinn, Imara P. Diaz, Alia I. Abdelmoty Department of Computing and Electrical Engineering, Heriot-Watt University Riccarton, Edinburgh EH14 4AS, Scotland, UK e-mail: @cee.hw.ac.uk
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2014
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2013.07.002